<?php
class MiJobException extends Exception {
	// This exception is here only for extendability. Later we might want to add a parameter or function indicating how to deal with the error, for example by emailing the developer or maintainer or whatever.
}
?>
